Степінь Тюрінга
В інформатиці та математичній логіці Степінь Тюрінга (названа на честь Алана Тюрінга) або степінь нерозв'язності множини натуральних чисел вимірює рівень алгоритмічної нерозв'язності множини.
Концепція степені Тюрінга є фундаментальною в теорії обчислюваності, де множини натуральних чисел зазвичай розглядаються як проблеми вибору. Степінь Тюрінга для даної множини є мірою того, наскільки важко розв'язати проблему вибору, пов'язану з множиною, тобто визначити, чи є довільне число у заданій множині.
Дві множини еквівалентні за Тюрінгом, якщо вони мають однаковий рівень нерозв'язності; кожна степінь Тюрінга є колекцією множин, еквівалентних за Тюрінгом, тож дві множини мають різні степені Тюрінга тільки тоді, коли вони не еквівалентні за Тюрінгом. Більше того, степені Тюрінга є частково впорядкованими, тож якщо степінь Тюрінга для множини X менша за степінь Тюрінга для множини Y, тоді будь-яка (необчислювана) процедура, що правильно визначає чи належить число множині Y може бути ефективно перетворена на процедуру, що вирішує, чи належить число множині X. У цьому сенсі степінь Тюрінга множини відповідає рівню її нерозв'язності.
Термін степінь Тюрінга був введений Емілем Постом (1944). Багато фундаментальних результатів у цій сфері були встановлені Стівеном Коулом Кліні та Постом (1954). Степінь Тюрінга з тих пір є областю інтенсивних наукових досліджень. Багато доведень у цій області використовують метод доведення, відомий як метод пріоритету.
Тут і нижче під терміном множина будемо розуміти множину натуральних чисел. Множина X є редукція Тюрінга[en] для множини Y, якщо існує пророча машина Тюрінга, котра приймає рішення щодо належності до X, коли є пророцтво щодо членства у Y. Позначення X ≤T Y означає, що X скорочується за Тюрінгом до Y.
Дві множини X та Y є еквівалентними за Тюрінгом, якщо X скорочується за Тюрінгом до Y, а Y скорочується за Тюрінгом до X. Позначання X ≡T Y означає, що X та Y є еквівалентними за Тюрінгом. Відношення ≡T може бути розглянуто як відношення еквівалентності, що означає, що для кожної множини X, Y та Z:
- X ≡T X
- X ≡T Y означає, що Y ≡T X
- Якщо X ≡T Y таY ≡T Z, тоді X ≡T Z.
Степінь Тюрінга це клас еквівалентності відношення ≡T. Позначення [X] означає, що клас еквівалентності містить множину X. Повна колекція степенів Тюрінга позначається як .
Степені Тюрінга частково впорядковані ≤ це означає, що [X] ≤ [Y] тоді і тільки тоді, коли X ≤T Y. Існує унікальна степінь Тюрінга, яка містить всі обчислювані множини, і ця степінь менша, ніж будь-яка інша степінь. Вона позначається як 0 (нуль), тому що це найменший елемент частково впорядкованої множини . (Часто для позначення степені Тюрінга використовують жирний шрифт, аби відрізнити їх від множин. Коли ніякої плутанини не може статись, як наприклад з [X], жирний шрифт не є необхідним.)
Для двох будь-яких множин X та Y, X об'єднане з Y, пишеться як X ⊕ Y, є за визначенням об'єднанням множин {2n : n ∈ X} та {2m+1 : m ∈ Y}. Степінь Тюрінга для об'єднання X ⊕ Y є найменшою верхньою гранню степенів X та Y. Так є об'єднанням-напівграткою. Найменша верхня грань ступенів a та b позначається як a ∪ b. Відомо, що не є решіткою, адже там існує пари ступенів без найбільшої нижньої грані.
Для будь-якої множини X позначення X′ означає множину індексів для пророчої машини, на котрих відбудеться зупинка при використанні X як пророцтва. Множина X′ називається оператором стрибку Тюрінга для X. Оператор стрибку Тюрінга для степені [X] є, за визначенням, степінь [X′]; це є валідним визначенням, тому що X′ ≡T Y′ для X ≡T Y. Ключовим прикладом є 0′, степінь для проблеми зупинки.
- Кожна степінь Тюрінга є зліченною множиною, так як вона містить рівно множин.
- Існує степенів Тюрінга.
- Для кожного степеня a виконується чітка нерівність a < a′.
- Для кожного степеня a, множина степенів нижче a є зліченною. Множина степенів більних за a має розмір .
Багато досліджень було присвячено структурі степенів Тюринга. Наступний список містить лише деякі з багатьох відомих результатів. Один загальний висновок, який можна зробити з досліджень, полягає в тому, що структура степенів Тюринга надзвичайно складна.
- Існує мінімальний степінь. Степінь a є мінімальним, якщо a не дорівнює нулю і не існує степеня між 0 та a. Тобто відношення порядку степенів не є щільним.
- Для кожного ненульового степеня a існує степінь b, непорівняне з a.
- Існує множина з попарно непорівняних степенів Тюрінга.
- Існують пари степенів без найбільшої нижньої грані. Тобто не є решіткою.
- Кожна злічна, частково впорядкована множина може бути включена в степені Тюрінга.
- Жодна нескінченна, строго зростаюча послідовність степенів не має найменшу верхню грань.
- Для кожного степеня a існує степінь, чітко розташований між a та a′. Фактично, існує злічна послідовність попарно непорівняних степенів Тюрінга між a та a′.
- Степінь a має вигляд b′ тоді і тільки тоді, коли 0′ ≤ a.
- Для кожного степеня a існує степінь b такий, що a < b та b′ = a′; тоді степінь b називається нижнім відносно до a.
- Існує безкінечна послідовність ai степенів, для яких a′i+1 ≤ ai для кожного i.
- Сімпсон (1977) показав, що теорія першого порядку на мові ⟨ ≤, = ⟩ або ⟨ ≤, ′, =⟩ є багатозначною еквівалентністю до теорії істинної арифметики другого порядку. Це показує, що структура надзвичайно складна.
- Шор та Сламен (1999) показали, що оператор стрибку може бути визначений через структуру першого порядку для степенів мовою ⟨ ≤, =⟩.
Степінь називається рекурсивно перераховним, якщо він містить рекурсивно перераховну множину. Кожний рекурсивно перераховний степінь менший або рівний до 0′, але не кожен степінь, менший за 0′, є рекурсивно перераховним степенем.
- (G. E. Sacks, 1964) Р.П степені є щільними; між двома р.п. степенями існує третій р.п. степінь.
- (A. H. Lachlan, 1966a and C. E. M. Yates, 1966) Існує два р.п. степеня без найбільшої нижньої грані в р.п. степенях.
- (A. H. Lachlan, 1966a and C. E. M. Yates, 1966) Існує пара ненульових р.п. степенів з найбільшою нижньою граню рівною 0.
- (S. K. Thomason, 1971) Кожна скінченна розподілена решітка може міститися в р.п. степені. Фактично, перераховна булева алгебра може міститися таким чином, що зберігатиметься супремум та інфімум.
- (A. H. Lachlan and R. I. Soare, 1980) Не всі скінченні решітки можуть міститися в р.п. степенях (таким чином, аби зберігався супремум та інфімум). Наступна решітка не може міститися в р.п. степені:
- (A. H. Lachlan, 1966b) Не існує пари р.п. степенів, чиї найбільші нижні грані дорівнюють 0, а найменші верхні грані дорівнюють 0′. Цей результат неформально називається недіамантова теорема.
- (L. A. Harrington та T. A. Slaman, див. Nies, Shore, та Slaman (1998)) Теорема першого порядку для р.п. степенів мовою ⟨ 0, ≤, = ⟩ є багатозначною еквівалентністю до теорії справжнього першого порядку арифметики.
Еміль Пост вивчав р.п. степінь Тюрінга і задався питанням, чи є якийсь р.п. степінь точно між 0 та 0′. Проблема побудови такого степеня (або доведення, що такого не існує) стала називатися проблемою Поста. Ця проблема була вирішена незалежно Фридбергом та Мучником у 1950-х роках. Було доведено, що ці проміжниі р.п. степені існують. Обидва їх докази використовували один і той самий новий метод побудови р.п. степенів, який отримав назву метод пріоритету. Метод пріоритету зараз є основною технікою для встановлення результатів стосовно р.п. множин.
Ідея методу пріоритету для побудови р.п. множини X полягає у переліку зліченої послідовності вимог, які X повинна задовольняти. Наприклад, щоб побудувати р.п. множину X між 0 та 0′, досить задовольнити вимогам Ae і Be для кожного натурального числа e, де Ae вимагає, щоб пророча машина з індексом e не обчислювала 0′ з X і Be вимагає, щоб машина Тюрінга з індексом e (і без пророцтва) не обчислювала X. Ці вимоги вводяться в пріоритетний порядок, що є явною бієкцією вимог та натуральних чисел. Доведення проходить індуктивно з одним етапом для кожного натурального числа; ці етапи можна розглядати як етапи часу, протягом яких перелічується набір X. На кожному етапі числа можуть бути або введені в X, або назавжди відхилені від вводу у X задля спроби задовольнити вимоги (тобто змусити їх триматись, коли всі X перераховано). Іноді, число можна перерахувати в X, щоб задовольнити одну вимогу, але це може призвести до того, що раніше задоволена вимога стає незадоволеною (тобто вражена). Пріоритетний порядок на вимоги використовується для визначення того, яку вимогу потрібно виконати у цьому випадку. Неформальна ідея полягає в тому, що, якщо вимога вражена, то вона в кінцевому підсумку припинить бути такою після того, як всі вимоги щодо вищого пріоритету перестануть бути враженими, хоча не кожний пріоритетний аргумент має таку властивість. Потрібно зробити зауваження, що загальна множина X є р.п. і задовольняє всім вимогам. Пріоритетні аргументи можуть бути використані для доведення багатьох фактів про р.п. множини; використовувані вимоги та спосіб, яким вони виконуються, повинні бути ретельно відібрані для отримання необхідного результату.
- Монографії (рівень бакалавра)
- Cooper, S.B. Computability theory. Chapman & Hall/CRC, Boca Raton, FL, 2004. ISBN 1-58488-237-9
- Cutland, N. Computability. Cambridge University Press, Cambridge-New York, 1980. ISBN 0-521-22384-9; ISBN 0-521-29465-7
- Монографії та дослідницькі роботи (рівень магістра)
- Ambos-Spies, K. and Fejer, P. Degrees of Unsolvability. Unpublished. http://www.cs.umb.edu/~fejer/articles/History_of_Degrees.pdf
- Lerman, M. Degrees of unsolvability. Perspectives in Mathematical Logic. Springer-Verlag, Berlin, 1983. ISBN 3-540-12155-2
- Odifreddi, P. G. (1989), Classical Recursion Theory, Studies in Logic and the Foundations of Mathematics, т. 125, Amsterdam: North-Holland, ISBN 978-0-444-87295-1, MR 0982269
- Odifreddi, P. G. (1999), Classical recursion theory. Vol. II, Studies in Logic and the Foundations of Mathematics, т. 143, Amsterdam: North-Holland, ISBN 978-0-444-50205-6, MR 1718169
- Rogers, H. The Theory of Recursive Functions and Effective Computability, MIT Press. ISBN 0-262-68052-1, ISBN 0-07-053522-1
- Sacks, Gerald E. Degrees of Unsolvability (Annals of Mathematics Studies), Princeton University Press. ISBN 978-0-6910-7941-7
- Simpson, S. Degrees of unsolvability: a survey of results. Handbook of Mathematical Logic, North-Holland, 1977, pp. 631–652.
- Shoenfield, Joseph R. Degrees of Unsolvability, North-Holland/Elsevier, ISBN 978-0-7204-2061-6.
- Shore, R. (1993), Univ. Nac. del Sur, Bahía Blanca (ред.), The theories of the T, tt, and wtt r.e. degrees: undecidability and beyond, Notas Lógica Mat., т. 38, с. 61—70
- Soare, R. Recursively enumerable sets and degrees. Perspectives in Mathematical Logic. Springer-Verlag, Berlin, 1987. ISBN 3-540-15299-7
- Soare, Robert I. Recursively enumerable sets and degrees. Bull. Amer. Math. Soc. 84 (1978), no. 6, 1149–1181. MR508451
- Науково-дослідницькі роботи
- Kleene, Stephen Cole; Post, Emil L. (1954), The upper semi-lattice of degrees of recursive unsolvability, Annals of Mathematics, Second Series, 59 (3): 379—407, doi:10.2307/1969708, ISSN 0003-486X, JSTOR 1969708, MR 0061078
- Lachlan, A.H. (1966a), Lower Bounds for Pairs of Recursively Enumerable Degrees, Proceedings of the London Mathematical Society, 3 (1): 537, doi:10.1112/plms/s3-16.1.537.
- Lachlan, A.H. (1966b), The impossibility of finding relative complements for recursively enumerable degrees, J. Symb. Logic, 31 (3): 434—454, doi:10.2307/2270459, JSTOR 2270459.
- Lachlan, A.H.; Soare, R.I. (1980), Not every finite lattice is embeddable in the recursively enumerable degrees, Advances in Mathematics, 37: 78—82, doi:10.1016/0001-8708(80)90027-4.
- Nies, André; Shore, Richard A.; Slaman, Theodore A. (1998), Interpretability and definability in the recursively enumerable degrees, Proceedings of the London Mathematical Society, 77 (2): 241—291, doi:10.1112/S002461159800046X, ISSN 0024-6115, MR 1635141
- Post, Emil L. (1944), Recursively enumerable sets of positive integers and their decision problems, Bulletin of the American Mathematical Society, 50 (5): 284—316, doi:10.1090/S0002-9904-1944-08111-1, ISSN 0002-9904, MR 0010514
- Sacks, G.E. (1964), The recursively enumerable degrees are dense, Annals of Mathematics, Second Series, 80 (2): 300—312, doi:10.2307/1970393, JSTOR 1970393.
- Shore, Richard A.; Slaman, Theodore A. (1999), Defining the Turing jump, Mathematical Research Letters, 6: 711—722, doi:10.4310/mrl.1999.v6.n6.a10, ISSN 1073-2780, MR 1739227
- Simpson, Stephen G. (1977), First-order theory of the degrees of recursive unsolvability, Annals of Mathematics, Second Series, 105 (1): 121—139, doi:10.2307/1971028, ISSN 0003-486X, JSTOR 1971028, MR 0432435
- Thomason, S.K. (1971), Sublattices of the recursively enumerable degrees, Z. Math. Logik Grundlag. Math., 17: 273—280, doi:10.1002/malq.19710170131.
- Yates, C.E.M. (1966), A minimal pair of recursively enumerable degrees, Journal of Symbolic Logic, 31 (2): 159—168, doi:10.2307/2269807, JSTOR 2269807.